unit refutation

См. также в других словарях:

• Unit propagation — (UP) or the one literal rule (OLR) is a procedure of automated theorem proving that can simplify a set of (usually propositional) clauses.DefinitionThe procedure is based on unit clauses, i.e. clauses that are composed of a single literal. If a… …   Wikipedia

• Critique of Pure Reason — Part of a series on Immanuel …   Wikipedia

• Nanking Massacre denial — Nanking Massacrev · d · e Battl …   Wikipedia

• Okishio's theorem — is a mathematical theorem formulated by Japanese economist Nobuo Okishio. It has had a major impact on debates about Marx s theory of value. Intuitively, it can be understood as saying that if one capitalist raises his profits by introducing a… …   Wikipedia

• MALEBRANCHE (N.) — Retenant du cartésianisme qu’il n’est de vraie connaissance que par les idées claires et distinctes, Malebranche, qui se veut disciple de Descartes – en même temps que de saint Augustin –, s’éloigne de lui pour le reste. Substituant le Verbe à la …   Encyclopédie Universelle

• UNITED STATES OF AMERICA — UNITED STATES OF AMERICA, country in N. America. This article is arranged according to the following outline: introduction Colonial Era, 1654–1776 Early National Period, 1776–1820 German Jewish Period, 1820–1880 East European Jewish Period,… …   Encyclopedia of Judaism

• Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of …   Wikipedia

• MASORAH — This article is arranged according to the following outline: 1. THE TRANSMISSION OF THE BIBLE 1.1. THE SOFERIM 1.2. WRITTEN TRANSMISSION 1.2.1. Methods of Writing 1.2.1.1. THE ORDER OF THE BOOKS 1.2.1.2. SEDARIM AND PARASHIYYOT …   Encyclopedia of Judaism

• Gnosticism — • History of Gnosticism from its pre Christian roots through its developed doctrines concerning cosmogony, the Sophia myth, soteriology, and eschatology. Includes information on rites, schools, and literature Catholic Encyclopedia. Kevin Knight.… …   Catholic encyclopedia

• Saadia Gaon — ImageSize = width:590 height:120PlotArea = width:570 height:25 left:5 bottom:60TimeAxis = orientation:horizontalDateFormat = yyyyPeriod = from: 250 till:2000AlignBars = earlyScaleMajor = unit:year increment:200 start: 200ScaleMinor = unit:year… …   Wikipedia

• David Hume — Pour les articles homonymes, voir Hume. David Hume Philosophe et Historien Époque Moderne …   Wikipédia en Français